Typing artifacts in megamodeling

Mapping-Aware Megamodeling: Design Patterns and Laws

Megamodeling is the activity of specifying systems of models and mappings, their properties, and operations over them. The latter functionality is the most important for applications, and megamodels are often used as an abstract workflow language for model processing. To be independent of a particular modeling language, typical megamodels reduce relationships between models to unstructured edge...

An Abstract View on Megamodeling Approaches

Megamodels are models which involve model elements such as metamodels, grammars, model transformations, programs, libraries, or concrete software artifacts. Megamodels have been leveraged in various contexts, most prominently in the context of the foundations of modeling, metamodeling, and model-driven engineering. We take an inventory of scholarly papers that involve megamodels in a central ma...

McSCert TECHNICAL REPORT Mechanics of Megamodeling: Design Patterns and Laws

A megamodel is a model, whose instances are systems of models and intermodel relationships. To be independent of a particular modeling language, typical megamodels reduce models and their relationships to unstructured nodes and edges, thus creating a significant gap between abstract megamodels and their concrete instances. We address this gap problem by mathematical means borrowed from category...

typing dynamic typing

Differentiation of prevalent parasite from artifacts in parasitology laboratory

One of the common problems in the medical parasitology laboratory is the differentiation of parasites from other elements in the stool and body fluids so-called "artifacts". Artifacts generally referred to living or abiotic agents that embedded in the clinical sample and may misleading the lab because of their similarity to parasitic organisms. Artifacts are an integral part of the diagnosis pr...